Computer systems

Results: 26232



#Item
31

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:24
    32

    Postdoctoral Positions in Bioinformatics Dept. Electrical and Computer Engineering & TEES-AgriLife Center for Bioinformatics and Genomic Systems Engineering (CBGSE) Texas A&M University College Station, Texas https://eng

    Add to Reading List

    Source URL: www.cls.zju.edu.cn

    Language: English - Date: 2016-11-25 23:27:10
      33

      Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

      Add to Reading List

      Source URL: iea.lth.se

      Language: English - Date: 2015-10-07 08:53:06
        34

        Cryptography, homework sheet 5 Due for 2MMC10: 12 October 2017, 10:45 and for Mastermath: 23 November 2017, 10:45 by email to You may use computer algebra systems such as mathematica, gp, or sage or

        Add to Reading List

        Source URL: www.hyperelliptic.org

        Language: English - Date: 2017-10-12 20:02:20
          35

          The UMD Machine Translation Systems at IWSLT 2016: English-to-French Translation of Speech Transcripts Xing Niu, Marine Carpuat Dept. of Computer Science University of Maryland, College Park {xingniu,marine}@cs.umd.edu

          Add to Reading List

          Source URL: workshop2016.iwslt.org

          Language: English - Date: 2016-12-09 18:55:21
            36

            Journal of Computer and Systems Sciences International, Vol. 43, No. 2, 2004, pp. 278–287. Translated from Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya, No. 2, 2004, pp. 126–136. Original Russian Text Copyr

            Add to Reading List

            Source URL: www.ipme.ru

            Language: English - Date: 2012-02-13 16:41:23
              37

              CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory

              Add to Reading List

              Source URL: www-vlsi.stanford.edu

              Language: English - Date: 2009-05-29 13:24:50
                38

                GI-Edition Gesellschaft für Informatik e.V. (GI) publishes this series in order to make available to a broad public recent findings in informatics (i.e. computer science and information systems), to document conference

                Add to Reading List

                Source URL: at.informatik.uni-halle.de

                Language: English - Date: 2010-11-26 07:57:58
                  39

                  The Prices of Packets and Watts:
 Optimal Operation of Decentralized Stochastic Systems P. R. Kumar Dept. of Electrical and Computer Engineering Texas A&M University

                  Add to Reading List

                  Source URL: www.necsys2016.ctrl.titech.ac.jp

                  Language: English - Date: 2016-09-13 14:55:38
                    40

                    Robustly Secure Computer Systems: A New Security Paradigm of System Discontinuity ∗ Jon A. Solworth

                    Add to Reading List

                    Source URL: www.ethos-os.org

                    Language: English - Date: 2017-04-30 19:19:48
                      UPDATE